Artifacts Evaluated — Reusable

0:00:13

ADORABLE Mini Dustbin - Transforming Trash into Treasure! #diy #craft #dustbin #bestoutofwaste

0:04:16

SolType: Refinement Types for Solidity (Teaser)

0:18:56

[POPL'24] Ramsey Quantifiers in Linear Arithmetics

0:22:38

[POPL'22] Quantum Information Effects

0:14:49

[ICFP'22] 'do' Unchained: Embracing Local Imperativity in a Purely Functional Langua...

0:15:48

[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection

0:23:09

[POPL'22] PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull

0:17:40

[ICFP'22] A Simple and Efficient Implementation of Strong Call by Need by an Abstract Ma…

0:12:19

[ICFP'22] Searching Entangled Program Spaces

0:01:00

Museum of Menstruation’s collection is now with the Smithsonian 🎊 #shorts

0:04:53

Oblivious Algebraic Data Types (Teaser)

0:15:42

Claude 3.5 “Artifacts” LEAKED - Anthropic's Secret Revealed

0:00:12

what to do with a broken laptop #shorts

0:19:44

[ICFP'22] Verified Symbolic Execution with Kripke Specification Monads…

0:18:58

[POPL'24] Efficient CHAD

0:18:10

[ICFP'22] Random Testing of a Higher-Order Blockchain Language (Experience Report)

0:04:58

Truly Stateless, Optimal Dynamic Partial Order Reduction (Teaser)

0:25:50

[POPL'22] Relational E-matching

0:18:24

[OOPSLA23] Grounded Copilot: How Programmers Interact with Code-Generating Models

0:16:41

[ICFP'22] Normalization for Fitch-Style Modal Calculi

0:19:41

[POPL'25] Finite-Choice Logic Programming

0:16:01

[ICFP'22] Entanglement Detection with Near-Zero Cost

0:04:56

Relational E-Matching (Teaser)

0:18:14

[OOPSLA23] Greedy Implicit Bounded Quantification